lexer grammar MyLexer;

@header {
    package compiler;
}

/* Rule that applies to whitespaces the {skip();} command means that those characters should be skipped */
WHITESPACE: (' '|'\t'|'\n'|'\r')+ {skip();} ;

/* Reserved words */
VARIABLE: ('a'..'z' | 'A'..'Z');

/* Operators */
CONJUNCION: 'conjuncion';
INCOMPATIBILIDAD: 'incompatibilidad';
DISYUNCION_INCLUSIVA: 'disyuncion_inclusiva';
DISYUNCION_EXCLUSIVA: 'disyuncion_exclusiva';
NEGACION_CONJUNTA: 'negacion_conjunta';
BICONDICIONAL: 'bicondicional';
CONDICIONAL: 'condicional';
NEGACION: 'negacion';
	
/* Numbers */

/*Text!*/

OPEN_PARENTHESIS: '(';
CLOSE_PARENTHESIS: ')';
